search

R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath
1 stars 0 forks source link

Implement assert checking in the program #2

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

Should start with the following links,

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse48 add more down below...

R-daneel-olivaw commented 9 years ago

related to #5