原文:Does this Prolog program have a simple proof of halting?
:- p(f(X),f(f(Y)),f(f(b))。
原文:DCG(Definite clause grammar) in Prolog
我试图在质询中做一个 DCG, 这样我就可以根据一些前提做出一个句子。 我有两部分信息 = 物体的属性 (“ 查尔斯是男人 ” ) 和物体之间的关系 (...) 。
原文:Prolog programming - what is the program regarding the next tasks? [closed]
你能帮我处理下三个Prolog程序吗? 列表中的元素摘要, 并检查是否除以 3 吗? 例如, 列表是 [1, 2, 3] - > 和...的总和是...
原文:Hangman Game in SWI Prolog (Enchance) [duplicate]
可能的复制: SWI Prolog 中的挂牌人游戏, 我试图在 SWI Prolog 中用以下文字来锁定一个简单的挂牌人游戏 : (1) 与被猜到的错误字母同步...
原文:Missing symbold "_main" when compiling with swipl-ld on OSX Lion
我正试图编译一个从Prolog外部函数接口调用的C程序。我正在做一些动态编程,这在Prolog中并不完全有效。然而,当我试图编译。。。
原文:Prolog XPCE dialog return a list of selections
我还有另一个Prolog问题, 我找不到解答它的方法。 这是我的代码列表( Q): - (D, Dialog (Sehenswuerdigkeiten)), send_ list (D, append, [ new (Von,menu( von, course))), new( Zu,...
原文:How to install development tools (plld, etc.) in SWI-prolog on OSX Lion
我试图让SWI-Prolog和C相互交谈。我有一些动态的编程问题,在 C 中比较快/简单,我希望能在 prolog 中给他们打电话。 r SWi 手册...
原文:generating a set of list of booleans in prolog
I need to generate a list of booleans in prolog. ?- gener_booleans(Xs,3). Xs = [true, true, true] ; Xs = [true, true, false] ; ... Xs = [false, false, false] ; Here is link to another solution, but ...
原文:Can I subtitude functor with variable in a predicate
I am new to prolog, and using BProlog. I have been reading some example program to execute query on group of related data. But in order to infer from facts with similar structure, they wrote many ...
原文:How to check if a list procceeds another list in Prolog
I would like to create an argument that succeeds when a list proceeds another list. For example ?-proceed_list([1,2],[2]). Yes or True(whatever the compiler). Can anyone help me?
- winforms
- combobox
- fogbugz
- java
- date
- internationalization
- asp.net
- iis
- url-rewriting
- urlrewriter
- c#
- enums
- ocaml
- haxe
- algorithm
- string
- viewstate
- .net
- c++
- c
- symbol-table
- mysql
- database
- postgresql
- licensing
- migration
- vb.net
- vb6
- declaration
- vb6-migration
- python
- psycopg2
- backup
- vmware
- virtualization
- gnu-screen
- authentication
- desktop
- excel
- xll
- cultureinfo
- regioninfo
- oracle
- client
- session
- download
- html
- virtual
- constructor
- scenarios
- perl
- full-text-search
- javascript
- ajax
- testing
- oop
- inheritance
- vim
- encapsulation
- information-hiding