Excuse me but I want to ask: "Does mozart-oz solves logicaly-algebral
constraints - the mix of logical and algebral operations over variables?
System NUT for example solves only algebral constraints in the form of
algebraic equations (formula = formula).
For my AI project I need to solve constraints like this:
A>255 => B.
not B.
?- A<1000.
Of couse this is mo intelligent then to solve only algebraic constraints and
has better application.
Manually this constaints system can be solved in the next way:
A>255 => B
-------------------
not B => not (A>255)
-------------------------------
not B => (A=<255) not B
----------------------------------------------------
A=<255
255<1000
-------------------------
A<1000
--
Normal people grows o...@#
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
