prologについて

質問

emacsというソフトでprologについて勉強しているんですが、
times,plus,exp,mod を定義してから動作の確認をしたいのです。

(<- - (times 0 ?x 0))
(<- (times (s ?x) ?y ?z)
(times ?x ?y ?xy)
(plus ?xy ?y ?z))

(<- - (exp (s ?n) 0 0))
(<- (exp 0 (s ?x) (s 0)))
(<- (exp (s ?n) ?x ?y)
(exp ?n ?x ?z)
(times ?z ?x ?y))

(<- - (mod ?x ?y ?x)
(< ?x ?y))
(<- (mod ?x ?y ?z)
(plus ?x1 ?y ?x)
(mod ?x1 ?y ?z))
と定義したのですが、確認をするときにどのように確認したらよいのか教えて頂けますでしょうか？

回答No.2

noocyte

質問への回答でなくてすみませんが…．

> みたことない記法だ。

20年ほど前，電総研 (当時) の中島秀之氏 (現：公立はこだて未来大学学長)
が開発された Prolog/KR もＳ式を採用していました．

↓こんな感じ．
http://ken-s.tea-nifty.com/hal/2005/08/prolog_c81e.html

回答No.1

rabbit_cat

何これ？ prologですか？
みたことない記法だ。emacs専用のprolog言語みたいのがあるんでしょうか。