prolog - 如何将这个 Prolog 程序转换成 Lisp？

Question

我正在尝试学习 Common Lisp，我想知道如何为 as-monomial 制作一个类似于 Prolog 的解析器，但不知道从哪里开始。

as_monomial(X, m(X, 0, [])) :- number(X), !.  
as_monomial(^(Y, Z), m(1, Z, [v(Z, Y)])) :- !.  
as_monomial(^(X, 0), m(1, 0, [])) :-  !.  
as_monomial(*(X, ^(Y, Z)), m(G, K, Q)) :- 
  as_monomial(X, m(G, TD, Vars)), 
  K   is (TD + Z), 
  ordinamonomio([v(Z, Y)| Vars], Q),
  !.
as_monomial(*(X, Y), m(G, K, Q)) :- 
  as_monomial(X, m(G, TD, Vars)), 
  K is (TD + 1), 
  ordinamonomio([v(1, Y)| Vars], Q),
  !.
as_monomial(-(X), m(Q, Y, L)) :- 
  as_monomial(X, m(A, Y, L)), 
  Q is A *(-1), 
  !.
as_monomial(X, m(1, 1, [v(1, X)])).

Answer 1

在您的 Prolog 代码中，您主要依赖模式匹配和递归，而不是回溯，因此您可以轻松地将其转换为 Common Lisp，而无需进行重大返工。我可以给你看一个基于 generic functions 的骨架.我强烈建议您阅读 Practical Common Lisp如果您是 Common Lisp 的新手，请预订。

DEFGENERIC将函数声明为通用函数，即根据一个或多个参数的类型或值动态分派(dispatch)的函数。

(defgeneric as-monomial (term)
  (:documentation "Express a term as a monomial."))

DEFMETHOD 专门化基于其参数的类型或值的泛型函数。例如，您可以对数字进行特定的实现:

(defmethod as-monomial ((term number))
  `(m ,term 0 ()))

...还有一个用于 cons 单元格，即复合词:

(defmethod as-monomial ((term cons))
  (destructuring-bind (operator left &optional right) term
    (case operator
      (^ ...)
      (* ...)
      (- ...))

参见 DESTRUCTURING-BIND .您还可以有一个默认行为:

;; fallback case
(defmethod as-monomial (term)
  `(m 1 1 ((v 1 ,term))))

当然，您可以定义一个仅使用 case 或 destructure-bind 的函数，但通用方法的扩展性更好。对于复杂的模式匹配需求(这里不是这种情况，IMO)，您可以使用像 trivia 这样的模式匹配库。 .