序言 - 不寻常的利弊语法列表

我曾经碰到过在序言李纳什的论文高阶逻辑编程的Prolog语法的陌生位。 下面是本文第一个代码示例:

% insertion sort (simple version) isort([], []). isort(A.As, Bs) :- isort(As, Bs1), isort(A, Bs1, Bs). % insert number into sorted list insert(N, [], [N]). insert(N, HL, NHL) :- N =< H. insert(N, H.LO, HL) :- N > H, insert(N, LO, L).

我的困惑是A.Asisort(A.As, Bs) :- 从上下文,这似乎是一个备用利弊语法列表,相当于isort([A|As], Bs) :-

以及NHL似乎是一个更方便的方式说[N|[H|L]]

但是SWI序言不会接受这种不寻常的语法(除非我做错了什么)。

有谁认识它? 是我的假设是否正确? 这Prolog的解释器接受为有效的语法?

--------------解决方案-------------

点运算符用于列出了1972年的第一个Prolog的系统,写成的Algol-W,有时也被称为Prolog的0它是由LISP系统类似符号的启发。 以下是为例从纸张的序言由Alain Colmerauer和菲利普鲁塞尔的诞生 - 序言的非常创造者。

+ELEMENT(*X, *X.*Y).
+ELEMENT(*X, *Y.*Z) -ELEMENT(*X, *Z).

在那个时候, []曾经是NIL

接下来的Prolog的版本,由Battani和马龙尼Fortran语言编写的,使用情况来区分原子和变量。 然后DECsystem 10序言介绍了方括号取代nilX.Xs[][X,..Xs]这DECsystem 10的后续版本获得[X|Xs]作为替代。 在ISO Prolog中,只有[X|Xs] .(X,Xs)并作为典型的语法'.'(X,Xs)

请注意,该点具有以ISO的Prolog许多不同的角色。 它服务已经为

  • 其次,当一个记号结束 %或像SPACE,NEWLINE,TAB布局特征。
  • 在一个浮点数小数点 ,例如3.14159
  • 图形标记图形标记为=..

所以,如果你现在宣布.作为一个中缀操作符,你必须非常小心。 都与你写什么Prolog的系统会读取。 一个单一的额外空间可以改变一个词的含义。 考虑两个数字列出了这两种写法:

[1,2.3,4]. [5].
1 .2.3.4.[]. 5.[].

请注意,您必须后添加一个空格1 。 在这方面,在数字前面一个附加的空白可能会改变术语的含义。 像这样:

[1|2.3]. [4]. 5. [].
1 .2.3. 4.[]. 5. [].

这里是一个可能会更令人信服的另外一个例子:

[1,-2].
1.(-2).[].

负数需要点列表中的圆括号。

今天,只有YAP和XSB留下了仍然提供缀.默认情况下-和他们做不同的看法。 而XSB甚至不承认上述点语法:你需要周围的一些非负数的圆括号。

你写NHL似乎是一个更方便的方式说[N|[H|L]] 有一个简单的原则进行的拇指ISO Prolog的简化这样的表达式:当你一个列表中的令牌中看到|[后立即对方,你可以替换他们, (并删除相应]右侧) 。 所以,你现在可以这样写: [N,H|L]看起来并不那么糟糕。

您可以使用规则也在另一个方向。 如果我们有一个列表[1,2,3,4,5]我们可以用|作为一个“刀片”,例如: [1,2,3|[4,5]]



另一句话,因为你正在阅读纳什的论文:在此期间,它是很好的理解,只有call/N是需要! 和ISO Prolog的支持call/1call/2call/8

是的,你说得对,点它的利弊清单中缀操作符。 它实际上是由ISO Prolog的标准要求,但通常是隐藏的。 我发现(和使用)的语法前一段时间:

:- module(eog, []).
:- op(103, xfy, (.)).

% where $ARGS appears as argument, replace the call ($ARGS) with a VAR
% the calle goes before caller, binding the VAR (added as last ARG)
funcs(X, (V, Y)) :-
nonvar(X),
X =.. W.As,

% identify meta arguments
( predicate_property(X, meta_predicate M)
% explicitly exclude to handle test(dcg)
% I'd like to handle this case in general way...
, M \= phrase(2, ?, ?)
-> M =.. W.Ms
; true
),

seek_call(As, Ms, Bs, V),
Y =.. W.Bs.

% look for first $ usage
seek_call([], [], _Bs, _V) :-
!, fail.
seek_call(A.As, M.Ms, A.Bs, V) :-
M @>= 0, M @=< 9, % skip meta arguments
!, seek_call(As, Ms, Bs, V).
seek_call(A.As, _, B.As, V) :-
nonvar(A),
A = $(F),
F =.. Fp.FAs,
( current_arithmetic_function(F) % inline arith
-> V = (PH is F)
; append(FAs, [PH], FBs),
V =.. Fp.FBs
),
!, B = PH.
seek_call(A.As, _.Ms, B.As, V) :-
nonvar(A),
A =.. F.FAs,
seek_call(FAs, Ms, FBs, V),
!, B =.. F.FBs.
seek_call(A.As, _.Ms, A.Bs, V) :-
!, seek_call(As, Ms, Bs, V).

:- multifile user:goal_expansion/2.
user:goal_expansion(X, Y) :-
( X = (_ , _) ; X = (_ ; _) ; X = (_ -> _) )
-> !, fail % leave control flow unchanged (useless after the meta... handling?)
; funcs(X, Y).

/* end eog.pl */

我被告知反对。 实际上,在[A | B]语法它的演变。 运营商,推出了可读性。

OT:那是什么码?

它上面的代码是我尝试用功能甜甜的Prolog。 也就是说,介绍了要求,借助于$ ,由算术表达式需要(例如)的临时变量

fact(N, F) :-
N > 1 -> F is N * $fact($(N - 1)) ; F is 1.

每个$引进的变量。 扩建后,我们有一个更传统的事实/ 2

?- listing(fact).
plunit_eog:fact(A, C) :-
( A>1
-> B is A+ -1,
fact(B, D),
C is A*D
; C is 1
).

在这里我们有很多的表达,这可能是有用的...

此语法来自NU-Prolog的。 看这里。 这可能只是正常的名单仿/ 2重新定义为一个中缀操作符,而不需要一个尾随空列表'。':

?- L= .(a,.(b,[])).
L = [a,b]
Yes (0.00s cpu)
?- op(500, xfy, '.').
Yes (0.00s cpu)
?- L = ab[].
L = [a,b]
Yes (0.00s cpu)

分类:序言 时间:2015-03-15 人气:0
本文关键词: 序言,序言异
分享到:

相关文章

Copyright (C) 55228885.com, All Rights Reserved.

55228885 版权所有 京ICP备15002868号

processed in 0.506 (s). 10 q(s)