原文:Prolog transformation of arguments into a list
如果我有前线(cow(a,b,c))的话,我如何能够将这转变为编目(cow(a,b,c))?
原文:What is possible and not is with Prolog?
我对Prolog和逻辑范式发展说了新话,但我认为这可以帮助我提出申请。 我的第一个怀疑是我能用这些语言做些什么。
原文:"NOT EXISTS" in swi-prolog
I m stuck on a simple problem in prolog. Let s consider the program worker(bill). worker(smitt). worker(fred). worker(dany). worker(john). car(bmw). car(mazda). car(audi). owner(fred,mazda). owner(...
原文:Using a Prolog DCG to split a string
我正在尝试使用DCG将字符串拆分为两部分,用空格分隔。例如,abc def应该还给我“abc”&“def”。程序和DCG如下。
原文:How do I make a recursive list that checks company rankings?
我有一套排名顺序的公司。 我想我的规则是检查某一具体名单上的公司是否处于排名,以及是否在名单上的所有公司都受到检查之前再发生。
原文:Save output from Prolog execution
我正在Prolog使用一种工具,在我执行之后,结果将出现在屏幕上,在Prolog壳体内。 我如何把这一结果复制到另一个档案中?
原文:Prolog query to find largest element in database?
如果我界定了Prolog数据库中的所有数字,例如挖(0)、挖(1)、......挖掘(9)。 我能用什么问询来把人数最多的数字——在本案中是9人?
原文:Generating lists of satisfying values for a set of constraints
鉴于一系列制约因素,我谨高效地产生一套价值观。
原文:Haskell vs. Prolog comparison [closed]
在Prolog,与Haskell相比,哪些问题得到了更好的解决? 这两种语文之间的主要差别是什么?
- 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