Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Login
Remember
Register
Ask
Q&A
All Activity
Hot!
Unanswered
Tags
Users
Ask a Question
Ask a Question
Categories
All categories
Topic[话题] (13)
Life[生活] (4)
Technique[技术] (2.1m)
Idea[创意] (3)
Jobs[工作] (2)
Others[杂七杂八] (18)
Code Example[编程示例] (0)
Recent questions tagged Prolog
0
votes
743
views
1
answer
prolog - Intersection and union of 2 lists
i'm starting up learning prolog (i use SWI-prolog) and i did a simple exercise in which i have 2 lists and ... better ways to do it. Thanks See Question&Answers more detail:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
662
views
1
answer
prolog - Using a constrained variable with `length/2`
Here is the problem: $ swipl Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.6-5-g5aeabd5) ... have not managed to choke up length/2 before. Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
675
views
1
answer
prolog - Reification of term equality/inequality
Pure Prolog programs that distinguish between the equality and inequality of terms in a clean manner suffer from execution ... open (at the end with []). Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
790
views
1
answer
prolog - Finding Unique Items in a List
I'm trying to write a rule which decides whether an item X occurs exactly one in a list L. unique(X, [X|T]) ... beginner and I don't know what I am doing wrong. Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
674
views
1
answer
prolog - Delete vowels in a list
Write a program that deletes vowels (String, NoVowelsString) that deletes all vowels from a given string. So far I' ... ]. Though I still haven't got anywhere. Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
878
views
1
answer
prolog - Most general higher-order constraint describing a sequence of integers ordered with respect to a relation
In CLP(FD), we frequently need to state: "This is a list of integers and finite domain variables in ( ... respect to the usual binary CLP(FD) constraints. Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
816
views
1
answer
prolog - Definition of a path/trail/walk
Many predicates define some kind of an acyclic path built from edges defined via a binary relation, quite similarly to ... dif(E,X), non_member(E, Xs). Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
728
views
1
answer
prolog - Definition of Reflexive Transitive Closure
Many predicates essentially use some form of transitive closure, only to discover that termination has to be addressed too. Why not ... , a), dif(b, _G1921) ... Question&Answers:os...
asked
Oct 17, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
957
views
1
answer
prolog - Predicate returning false
I'm having trouble with the following predicate: treeToList(void, []). treeToList(arbol(X, HI1, HD1) ... from:https://stackoverflow.com/questions/65844610/predicate-returning-false...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
805
views
1
answer
prolog - λProlog hypothetical reasoning Tic Tac Toe
λProlog features hypothetical reasoning. By using the operator (=>)/2 we can temporarily assert some ... com/questions/65865359/%ce%bbprolog-hypothetical-reasoning-tic-tac-toe...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
601
views
1
answer
prolog - Why does this give a NonGroundProbabilisticClause error, but not the deterministic counterpart?
I want the program to represent that if person 1 uses one out of a particular list of substances ... does-this-give-a-nongroundprobabilisticclause-error-but-not-the-determinist...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
775
views
1
answer
prolog - Order of unification in lists when using pipe(|)
I am having trouble trying to figure out in what order unification is done. I have the following query: [X, ... com/questions/65873598/order-of-unification-in-lists-when-using-pipe...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
667
views
1
answer
prolog - Paterson-Wegman versus Wielemaker-Demoen Unification
The source code of SWI-Prolog says that the unification deployed is based on some idea from Bart ... .com/questions/65884340/paterson-wegman-versus-wielemaker-demoen-unification...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
725
views
1
answer
prolog - Non-linearity of Wielemaker-Demoen Unification
This is a follow up to the question here about acyclic terms. I am now interested in cyclic ... stackoverflow.com/questions/65892060/non-linearity-of-wielemaker-demoen-unification...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
688
views
1
answer
prolog - CHR: managing "constraint stores"
Is there a way to manage Constraint stores in CHR ? What I have in mind ? Let say I do a query ... from:https://stackoverflow.com/questions/65908113/chr-managing-constraint-stores...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
716
views
1
answer
prolog - find biggest interval in a list of sublists (these sublists have 2 elements)
i have this exercise where i get a list of sublists like [[X1,Y1],[X2,Y2]...] which represent an interval ... -biggest-interval-in-a-list-of-sublists-these-sublists-have-2-elements...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
764
views
1
answer
prolog - How can I get my maze program to create and print two route-lists to the console?
link(entry, a). link(a, b). link(b, c). link(c, d). link(d, e). link(b, e). link(e, f). link(f, ... how-can-i-get-my-maze-program-to-create-and-print-two-route-lists-to-the-console...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
978
views
1
answer
prolog - A function that counts the number '1's, '2's and '3's in a list, with count represented as, for example, s(s(s(0))) = 3
I want to create a predicate over the alphabet {1,2,3}, f/4(N1,N2,N3,L), such that N1, N2 and N3 are a ... function-that-counts-the-number-1s-2s-and-3s-in-a-list-with-count-repr...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
662
views
1
answer
prolog - Cut at the beginning of a clause
Consider the Prolog predicated p(integer),q(integer),r(integer) with the flow model (o) and the predicate ... stackoverflow.com/questions/65642875/cut-at-the-beginning-of-a-clause...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
624
views
1
answer
prolog - I cannot get my Flex program to output a result into the console, it only returns "no"
I'm doing a little training project in flex, a hospital booking system. I can't seem to get it to output the ... -flex-program-to-output-a-result-into-the-console-it-only-return...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
739
views
1
answer
prolog - Some problems with reading file
I used some prolog codes for reading file numbers to list, reading is working, i cannot use list that ... ://stackoverflow.com/questions/65647331/some-problems-with-reading-file...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
636
views
1
answer
prolog - parsing with CHR (Constraint handling rules)
Trying to do sort of parsing with CHR (Constraint handling rules) I come up with this (still ... stackoverflow.com/questions/65647409/parsing-with-chr-constraint-handling-rules...
asked
Oct 7, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
725
views
1
answer
prolog - Relational/Logic Programming in Python?
I'm a longtime python developer and recently have been introduced to Prolog. I love the concept of ... //stackoverflow.com/questions/1917607/relational-logic-programming-in-python...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
584
views
1
answer
prolog - Reification of term equality/inequality
Pure Prolog programs that distinguish between the equality and inequality of terms in a clean manner suffer ... .com/questions/13664870/reification-of-term-equality-inequality...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
628
views
1
answer
prolog - Reification of term equality/inequality
Pure Prolog programs that distinguish between the equality and inequality of terms in a clean manner suffer ... .com/questions/13664870/reification-of-term-equality-inequality...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
645
views
1
answer
prolog - How to safely temporarily change the occurs check flag?
I am using the following code to temporarily change the occurs check flag, where G is a goal that doesn' ... /66045332/how-to-safely-temporarily-change-the-occurs-check-flag...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
645
views
1
answer
prolog - How to safely temporarily change the occurs check flag?
I am using the following code to temporarily change the occurs check flag, where G is a goal that doesn' ... /66045332/how-to-safely-temporarily-change-the-occurs-check-flag...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
0
votes
686
views
1
answer
prolog - APE: Converting DRS to Struct
I'm trying to convert DRS to different structure. Here is unfinished work in progress (still simple DRS): ... ://stackoverflow.com/questions/66058449/ape-converting-drs-to-struct...
asked
Oct 6, 2021
in
Technique[技术]
by
深蓝
(
71.8m
points)
prolog
To see more, click for the
full list of questions
or
popular tags
.
Ask a question:
Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question
Just Browsing Browsing
[1] 为什么java用zookeeper做服务发现,golang用consul做服务发现,是因为语言生态问题吗?
[2] vue CSS过渡和CSS动画
[3] r - Plotting Donut Chart with Plotly
[4] TypeScript 编译器 tsc 命令能够自动补全完整的 js 后缀?
[5] android studio - What is the alternative of using setState() in flutter?
[6] python - getting strict-origin-when-cross-origin although i provided CORS_ORIGIN_ALLOW_ALL = True in settings.py file
[7] import 和 export在同文件下的问题
[8] iview datepicker type='daterange' 动态设置可选范围
[9] 使用nodejs,通过async与await加axios请求第三方外部接口,无法同步获取数据,各位大佬有什么解决方案吗?
[10] Artifactory: providing an rpm repo file for a remote repo
2.1m
questions
2.1m
answers
60
comments
56.8k
users
Most popular tags
javascript
python
c#
java
How
android
c++
php
ios
html
sql
r
c
node.js
.net
iphone
asp.net
css
reactjs
jquery
ruby
What
Android
objective
mysql
linux
Is
git
Python
windows
Why
regex
angular
swift
amazon
excel
algorithm
macos
Java
visual
how
bash
Can
multithreading
PHP
Using
scala
angularjs
typescript
apache
spring
performance
postgresql
database
flutter
json
rust
arrays
C#
dart
vba
django
wpf
xml
vue.js
In
go
Get
google
jQuery
xcode
jsf
http
Google
mongodb
string
shell
oop
powershell
SQL
C++
security
assembly
docker
Javascript
Android:
Does
haskell
Convert
azure
debugging
delphi
vb.net
Spring
datetime
pandas
oracle
math
Django
联盟问答网站-Union QA website
Xstack问答社区
生活宝问答社区
OverStack问答社区
Ostack问答社区
在这了问答社区
在哪了问答社区
Xstack问答社区
无极谷问答社区
TouSu问答社区
SQlite问答社区
Qi-U问答社区
MLink问答社区
Jonic问答社区
Jike问答社区
16892问答社区
Vigges问答社区
55276问答社区
OGeek问答社区
深圳家问答社区
深圳家问答社区
深圳家问答社区
Vigges问答社区
Vigges问答社区
在这了问答社区
DevDocs API Documentations
Xstack问答社区
生活宝问答社区
OverStack问答社区
Ostack问答社区
在这了问答社区
在哪了问答社区
Xstack问答社区
无极谷问答社区
TouSu问答社区
SQlite问答社区
Qi-U问答社区
MLink问答社区
Jonic问答社区
Jike问答社区
16892问答社区
Vigges问答社区
55276问答社区
OGeek问答社区
深圳家问答社区
深圳家问答社区
深圳家问答社区
Vigges问答社区
Vigges问答社区
在这了问答社区
在这了问答社区
DevDocs API Documentations
Xstack问答社区
生活宝问答社区
OverStack问答社区
Ostack问答社区
在这了问答社区
在哪了问答社区
Xstack问答社区
无极谷问答社区
TouSu问答社区
SQlite问答社区
Qi-U问答社区
MLink问答社区
Jonic问答社区
Jike问答社区
16892问答社区
Vigges问答社区
55276问答社区
OGeek问答社区
深圳家问答社区
深圳家问答社区
深圳家问答社区
Vigges问答社区
Vigges问答社区
在这了问答社区
DevDocs API Documentations
广告位招租
...