MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Equality for Prolog." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Deduction in a GEFRED database using Datalog
by Ignacio J. Blanco, Olga Pons, Jose M. Serrano, M. Amparo Vila
…) language with no special predicates nor function symbols. Although it is syntactically equal to Prolog…
Add To MetaCart

True Equality Constraints Over An Open Universe Of Terms
by Jan A. Plaza — 1994
… in Prolog. In Prolog there are two ways of understanding equality. Prolog's t 1 =t 2 means that terms t 1…
Add To MetaCart

HiLog: A foundation for higher-order logic programming
by Weidong Chen, Michael Kifer, David S. Warren — 1993 — JOURNAL OF LOGIC PROGRAMMING
… first-order semantics that embody a non-trivial equality theory. An example is a subset of Prolog [42…
Cited by 165 (29 self) – Add To MetaCart

Formulas as Programs
by Krzysztof Apt Cwi, Krzysztof R. Apt, Marc Bezem — 1998
… Prolog query. The reason is that the equality symbol in logic programming and Prolog stands for "is…
Cited by 1 (0 self) – Add To MetaCart

SEPIA Programming Environment
by Micha Meier, Philip Kay, Emmanuel Van Rossum, Hugh Grant — 1989 — In Proceedings of the Workshop on PROLOG Programming Environments NACLP'89
…. Equally if the Prolog system is servicing commands from the user input then he cannot interact…
Cited by 3 (0 self) – Add To MetaCart

Qualitative simulation with CLP
by Er B, Ivan Bratko, Dorian Šuc — 2002 — In Proc. of 16th International Workshop on Qualitative Reasoning (QR’02
… ¤ © #= ¤�� % Signs S1 and S equal The Prolog � �� ¦ �� structure denotes a…
Cited by 1 (0 self) – Add To MetaCart

An improved method for adding equality to free variable semantic tableaux
by Bernhard Beckert, Reiner Hähnle — 1992 — 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence
… of a tableau–based theorem prover with equality in PROLOG is contained. Fitting combines free variable…
Cited by 29 (10 self) – Add To MetaCart

Validating and animating higher-order recursive functions in B. Submitted; preliminary version presented at Dagstuhl Seminar 06191 Rigorous Methods for Software Construction and Analysis
by Michael Leuschel, Dominique Cansell, Michael Butler, Loria Nancy — 2006
… of the equality Prolog predicate. This Prolog predicate gets called whenever an equality between two B objects…
Cited by 2 (2 self) – Add To MetaCart

Constraint Based Logic Programming for Real-Time
by Erik Van, Erik Van Lith
… in an application domain (Not only the simple syntactic equalities as in Prolog). Also numbers (integers, reals) can…
Add To MetaCart

Meta-Programming and CLP
by January Technical, Pierre Lim, David Morley — 1990
… of solving systems of Herbrand equalities PROLOG is an instance of the scheme. The logical, functional…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB