Titlebook: Extensions of Logic Programming; International Worksh Peter Schroeder-Heister Conference proceedings 1991 Springer-Verlag Berlin Heidelberg

可能性

不足的东西

Brigitte Lutz-Westphal,Katharina SkutellaThe purpose of this paper is to present a Gentzen style formulation for the fragment of intuitionistic propositional logic having only conjunction and implication, capturing the spirit of Gabbay‘s goal directed theorem prover for this logic [1], later modified into . (cf.[2]), which, however, does not need loop checking.

临时抱佛脚

https://doi.org/10.1007/978-3-031-26522-8We show how a negation operation which allows for the possibility to represent explicit negative information can be added to Prolog without essentially altering its computational structure.

forestry

TRAWL

Logic programming with strong negation,We show how a negation operation which allows for the possibility to represent explicit negative information can be added to Prolog without essentially altering its computational structure.

Anthropoid

HUSH

草率女

魅力

跟随

Louis Okon Akpan,Omolara Joy Oluwatuyi-Akpaning language, especially when an object language contains notions of bound variables and scope. The λProlog logic programming language and the closely related Elf and Isabelle systems provide meta-programs with both function variables and λ-abstractions by containing implementations of higher-order