薄膜
发表于 2025-3-25 05:50:11
ALEX: The logic programming language with explicit control and without cut-operators,t of declarative feature of Prolog. In ALEX, the backtrack mechanism is divided into two categories : “Recall” and “Retry”. “Recall” corresponds to “essential trial and error” and it appears rarely in the program, while “Retry” corresponds to “branch on condition” and it appears frequently. In ALEX,
DEAF
发表于 2025-3-25 10:07:23
http://reply.papertrans.cn/59/5880/587901/587901_22.png
heckle
发表于 2025-3-25 14:40:17
http://reply.papertrans.cn/59/5880/587901/587901_23.png
熟练
发表于 2025-3-25 18:30:44
Inference methods and semantics on or-type knowledge bases,ay lives. There are several problems to deal with such type of knowledge in computer systems. In general, it is difficult to represent the or-type knowledge in Horn logic. In this paper, we extend first order formulas and define the interpretations for them in a three valued logic. According to the
大吃大喝
发表于 2025-3-25 20:12:26
Access program to minimize redundant refutations on the network database system,olog goal clauses and a Prolog view of the conventional network database system. We show an improvement of the Prolog refutation procedure by taking advantage of the network model. In our system, redundant refutations, which occur while finding all answer substitutions for given goals, are prevented
消毒
发表于 2025-3-26 01:12:33
,EUODHILOS: A general-purpose reasoning assistant system — Concept and implementation —,type of that kind of system. It assists the user in describing the syntax of the logical expressions, defining a variety of logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs for theorems under the logic so defined. Proofs are constructed under the
Affirm
发表于 2025-3-26 08:07:40
http://reply.papertrans.cn/59/5880/587901/587901_27.png
epicardium
发表于 2025-3-26 10:52:14
http://reply.papertrans.cn/59/5880/587901/587901_28.png
动作谜
发表于 2025-3-26 16:02:10
http://reply.papertrans.cn/59/5880/587901/587901_29.png
运动吧
发表于 2025-3-26 17:19:54
http://reply.papertrans.cn/59/5880/587901/587901_30.png