On 15/03/2012 13:01, Ryan Mitchley wrote:
It still doesn't fit well with a procedural model, in common with
Prolog, though.
Although, it has to be said that a procedural approach can be faked with
a combination of assertion and forward chaining.
e.g.
IsASquare(X, Y) iff line(X, blah), angle(blahblah) etc.
assert IsASquare(100, 200).
(System goes ahead and forward chains all of the subgoals, asserting
facts and creating a square as specified. Excuse the made-up syntax.)
Forward chaining doesn't come standard with micro-PROLOG (or Prolog),
but can be added.
Disclaimer: http://www.peralex.com/disclaimer.html
_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc
