Sciweavers

SPLST
2003
13 years 5 months ago
User's Functions in Standard Prolog
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
Tibor Ásványi