prolog

5calore

1risposta

In una macchina astratta di Warren, come funziona il bind, se uno degli argomenti è un registro?

sto cercando di creare la mia propria implementazione WAM e mi sono bloccato a the exercise 2.4 non riesco a capire come eseguire istruzioni unify_value X4 in figura 2.4. Per quanto ho capito, questa

5calore

2risposta

È una lista infinita di quelli sani?

In Prolog, l'unificazione X = [1|X] è un modo sano per ottenere una lista infinita di quelli? SWI-Prolog non ha alcun problema con esso, ma GNU Prolog si blocca semplicemente. So che nella maggior par

5calore

1risposta

Come disattivare le uscite "true" e "false" in Prolog?

Mi piacerebbe scrivere un piccolo gioco di avventura basato su testo usando Prolog (potrebbe essere un'idea stupida, ma non sono qui per discuterne). L'unico problema è che non riesco a stampare il te

8calore

2risposta

Purezza di predicati Prolog che utilizzano le primitive impuri

so che var/1, nonvar/1 e !/0 sono primitivi impuri, ma non il loro uso rende ogni programma che utilizza impure? Ho scritto il seguente predicato plus/3 che si comporta come se fosse puro o almeno è q

6calore

1risposta

Errore Prolog: arresto completo nella clausola-corpo? Impossibile ridefinire,/2

Ho appena iniziato a imparare il prologo. Ho compilato un file con SWI-Prolog ma ho ricevuto un messaggio di errore: Errore Prolog: Completo nel corpo della clausola? Il mio file: loves(vincent , mia)

14calore

3risposta

Prolog - Gli argomenti non sono sufficientemente istanziati

Sto scrivendo un piccolo programma che conta quanti elementi in una lista non sono numeri. Ecco il mio codice: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_nu

8calore

6risposta

Programmazione orientata agli oggetti in SWI-Prolog

Ho letto da qualche parte che è possibile pensare a moduli come oggetti in Prolog. Sto cercando di capire come funziona, e se è un buon modo per codificare. Se ho due file, uno definisce un cane di cl

17calore

2risposta

Unione di due serie variabili

Dato due elenchi di variabili, qual è il modo più compatto e canonico in ISO Prolog per determinare l'unione di entrambi? Cioè, vogliamo una definizione per la (meta-logico) predicati varset_union(Var

5calore

1risposta

Prolog: come ottenere tutte le combinazioni

Ho la seguente ad esempio: bag(b1) bag(b2) item(i1) item(i2) item(i3) item(i4) Ora io non capisco come posso ottenere tutte le possibilità di questo? Devo usare tutte le borse. come dovrei ott

14calore

1risposta

Verificare che il termine sia un elenco di variabili distinte

Qual è il modo più compatto e canonico in ISO Prolog per verificare un elenco di variabili distinte? Chiamiamo questo predicato meta-logico is_varset/1. Quindi dovrebbe riuscire se il suo argomento è