在 prolog 中从数据库中调用事实

Question

我已经使用 assert(....) 将给定的上下文无关语法插入到数据库中 如果语法类似于

S-->a,S,b
S-->c

这个语法被插入到数据库中。 我必须编写一个 dcg 来为数据库中的 cfg 生成句子。 例如，如果我以这种方式定义 dcg myDcg('S',str)，则应该调用 'S'（非终端）或 替换 由 aSb 或 c|d 左右。

问题是每次遇到非终结符（'S'）生成句子时，我如何通过数据库中的事实调用/替换'S'。

希望你理解我的问题，如果没有，我会尝试编辑问题。

---

下面（示例代码）是我想要做的 这不是dcg。

myGrammar([], []):-!.

myGrammar([T|Rest], [T|Sentence]):-
          myGrammar(Rest, Sentence).

myGrammar([NT|Rest], Sentence):-
          grammar(NT, Rest1),
          append(Rest1,Rest, NewRest),
          myGrammar(NewRest, Sentence). 

无论何时遇到终端，都应该打印出来，遇到非终端时，它会回溯。

Answer 1

在您的谓词mygrammar/2 中，第一个参数中有一个非终端和终端列表，第二个参数中有一个终端列表。如果第二个参数是第一个参数的形式，它可能应该成功。因此，您在这里拥有的本质上是 DCG 的元解释器。一些建议：

你的分词器当前产生[grammar('S',[a,'S',b]),grammar('S',[....]),..]. 让它产生[grammar('S',[t(a),nt('S'),t(b)]),grammar('S',[....]),..]。通过这种方式，很明显什么是终端，什么是非终端。而且，哦，删除它！。

myGrammar([], []).
myGrammar([t(T)|Rest], [T|Sentence]):-
   myGrammar(Rest, Sentence).
myGrammar([nt(NT)|Rest], Sentence):-
   grammar(NT, Rest1),
   append(Rest1,Rest, NewRest),
   myGrammar(NewRest, Sentence).

DCG，顺便说一句，比这个解释器更通用。

非终结符和终结符之间的实际分类必须由分词器完成。

uppercasecode(C) :-
   between(0'A,0'Z,C).

lowercasecode(C) :-
   between(0'a,0'z,C).

如果您使用字符（单字符原子），您将使用char_code(Char, Code) 在它们之间进行转换。

完整的 Unicode 支持仍处于起步阶段。它非常棘手，因为像Ⓐ这样的字符的所有特殊情况是大写但仍然不能成为标识符的一部分。但这是目前在 SWI 中的操作方法。

uppercasecode(C) :-
   '$code_class'(C,upper),
   '$code_class'(C,id_start).

lowercasecode(C) :-
   '$code_class'(C,id_start),
   '$code_class'(C,id_continue),
   \+ '$code_class'(C,upper).

更新：与此同时，有char_type/2 和code_type/2 用于此目的。

uppercasecode(C) :-
   code_class(C, upper),
   code_class(C, prolog_var_start).

Answer 2

我假设您最近开始使用 Prolog。 是的，您可以在数据库中断言，但这并不是您最开始做的常见事情。当您对基础语言感到安全时，您会希望在以后使用该功能。

您通常所做的是将语法写入myfirstgrammar.pl 之类的文件中，然后将该文件加载到您的 Prolog 系统中。

语法详情请参考this recent thread。