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. …