Prolog - 第一个列表是第二个列表的子列表? [英] Prolog - first list is sublist of second list?

问题描述

例如:

isin([1,2,3], [1,0,1,2,3,0])

将产生 true 因为 123 在 101230

will yield true because 123 is inside of 101230

我写了以下代码:

isin([AH|AT],[AH|AT]).

isin([AH|AT],[BH|BT]):- AH = BH, isin(AT,BT),isin([AH|AT],BT).

似乎不起作用.尽量不要使用任何内置函数，顺便说一句，Prolog 有一个内置的 sublist(L1,L2) 函数.

seems not working. Try not use any built-in functions and BTW, Prolog has a built-in sublist(L1,L2) function.

如何使用 SWI-Prolog 编写针对内置函数的查询?我试着直接写

How do I write a query against a built-in function using SWI-Prolog? I tried to directly write

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

但它给了我 underfined procedure 错误.

是否可以查看内置函数的编码方式?怎么样?

Is it possible to see how a built-in function is coded? How?

推荐答案

sublist( [], _ ).
sublist( [X|XS], [X|XSS] ) :- sublist( XS, XSS ).
sublist( [X|XS], [_|XSS] ) :- sublist( [X|XS], XSS ).

这篇关于Prolog - 第一个列表是第二个列表的子列表?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！