Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 95, No. 1/2, The Contributions of Logic to the Foundations of Physics (June/July 2010), pp. 5-20 (16 pages) In the paper it is shown ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback