Titlebook: GWAI-85; 9th German Workshop Herbert Stoyan Conference proceedings 1986 Springer-Verlag Berlin Heidelberg 1986 Expertensystem.Philosophie.

Peculate

endure

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

Culpable

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.

不能逃避

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