Welcome To Ask or Share your Answers For Others

Recent questions tagged Prolog

0 votes

767 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)

0 votes

684 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)

0 votes

698 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)

0 votes

815 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)

0 votes

705 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)

0 votes

902 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)

0 votes

842 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)

0 votes

754 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)

0 votes

999 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)

0 votes

829 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)

0 votes

622 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)

0 votes

800 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)

0 votes

692 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)

0 votes

748 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)

0 votes

707 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)

0 votes

740 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)

0 votes

784 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)

0 votes

1.0k 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)

0 votes

683 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)

0 votes

644 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)

0 votes

764 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)

0 votes

661 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)

0 votes

748 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)

0 votes

607 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)

0 votes

650 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)

0 votes

674 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)

0 votes

668 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)

0 votes

711 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)

To see more, click for the full list of questions or popular tags.

...