Scienza del computer logic-programming

2

Come implementare un interprete di prologo in un linguaggio puramente funzionale?

Esiste un chiaro riferimento, con pseudo-codice, su come implementare un interprete Prolog in un linguaggio puramente funzionale? Ciò che ho trovato finora sembra avere a che fare solo con linguaggi imperativi, è semplicemente una dimostrazione di Prolog implementato in sé o non offre alcun algoritmo concreto da utilizzare per l'interpretazione. …

25 functional-programming prolog logic-programming

4

Prolog può risolvere i problemi di soddisfazione dei vincoli?

Il tipo di problemi di "partecipazione alle feste" è risolvibile in Prolog? Per esempio: Bardana Muldoon e Carlotta Pinkstone dissero entrambe che sarebbero venute se fosse arrivata Albus Silente. Albus Silente e Daisy Dodderidge hanno entrambi detto che sarebbero venuti se fosse arrivata Carlotta Pinkstone. Albus Silente, Burdock Muldoon e …

18 logic constraint-programming prolog logic-programming

2

Cosa rende PROLOG Turing completo?

So che si può provare che PROLOG è Turing completo costruendo un programma che simula una macchina di Turing come questa: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), …

15 programming-languages turing-completeness logic-programming prolog

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Qual è lo stato dell'arte nella ricerca incapsulata nella programmazione logica funzionale?

Sono particolarmente interessato a soluzioni al problema che la ricerca incapsulata può dipendere dall'ordine di valutazione. Secondo [1], la ricerca incapsulata in PAKCS dipende dall'ordine di valutazione, mentre in MCC non lo fa, ma il suo utilizzo richiede la conoscenza dell'implementazione del compilatore e non segue le specifiche del linguaggio …

8 reference-request functional-programming nondeterminism logic-programming

Domande taggate «logic-programming»