search

R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath
1 stars 0 forks source link

Use the assert and listAll predicates #5

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

We can use the DB manipulation techniques to create and use different components of the system simulation.

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse49

R-daneel-olivaw commented 9 years ago

added in cb7ea45913974194c6a67934d53be72dff0567d8