Peculate
发表于 2025-3-30 08:51:14
http://reply.papertrans.cn/39/3802/380188/380188_51.png
endure
发表于 2025-3-30 13:08:33
Vermeidung überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungenu überflüssigen Berechnungen, die zum Auffinden der gewünschten Lösung nichts beitragen. Das im folgenden vorgestellte, auf einer speziellen Termdarstellung basierende Verfahren soll helfen, einen Teil dieser nutzlosen Berechnungen von vornherein zu vermeiden. Zusätzlich können spezielle Arten von P
FLOUR
发表于 2025-3-30 18:23:43
http://reply.papertrans.cn/39/3802/380188/380188_53.png
Culpable
发表于 2025-3-30 21:43:16
Extended Unification and its Implementationof combined functional and logic programming languages are defined. An extended unification algorithm which additonally handles functional expressions is formally introduced to evaluate programs written in those languages. Finally, an implementation of the proposed system is described.
不能逃避
发表于 2025-3-31 02:54:40
Fundamentals of Parallel Computing,, the links to the new literals are derived from the links of their ancestors. An inheritance mechanism for such links is presented which operates only on the attached substitutions and does not have to unify the literals. This solves a long standing open problem of connection graph calculi: how to