prolog

Qu'est-ce que c'est?

ichiban/prolog est un interpréteur ISO Prolog intégrable dans Go .

• Conforme aux normes :
  • ISO/IEC 13211-1:1995 Technologies de l'information — Langages de programmation — Prolog — Partie 1 : Noyau général
  • Un prologue pour Prolog
  • DCG
• Facile à intégrer : API Go de type database/sql
• Hautement personnalisable :
  • Bac à sable
  • Prédicats personnalisés dans Go
  • Termes personnalisés (types de données) dans Go

Comparaison avec d'autres bibliothèques

	prologue	otto	go-lua
Langue	Prologue ISO	Script ECMA	Lua
Paradigme	? Logique	Orienté objet	Orienté objet
Aller à l'API	? database/sql -like	original	original
Déclaratif	✅
Bac à sable	✅		✅

Commencer

Installer la dernière version

 go get -u github.com/ichiban/prolog

Usage

Instancier un interprète

 p := prolog . New ( os . Stdin , os . Stdout ) // Or `prolog.New(nil, nil)` if you don't need user_input/user_output.

Ou, si vous souhaitez un interpréteur sandbox sans prédicats intégrés :

 // See examples/sandboxing/main.go for details.
p := new (prolog. Interpreter )

Charger un programme Prolog

 if err := p . Exec ( `
	human(socrates).       % This is a fact.
	mortal(X) :- human(X). % This is a rule.
` ); err != nil {
	panic ( err )
}

Semblable à database/sql , vous pouvez utiliser un espace réservé ? pour insérer des données Go en tant que données Prolog.

 if err := p . Exec ( `human(?).` , "socrates" ); err != nil { // Same as p.Exec(`human("socrates").`)
	panic ( err )
}

Exécutez le programme Prolog

 sols , err := p . Query ( `mortal(?).` , "socrates" ) // Same as p.Query(`mortal("socrates").`)
if err != nil {
	panic ( err )
}
defer sols . Close ()

// Iterates over solutions.
for sols . Next () {
	fmt . Printf ( "Yes. n " ) // ==> Yes.
}

// Check if an error occurred while querying.
if err := sols . Err (); err != nil {
	panic ( err )
}

Ou, si vous souhaitez rechercher les valeurs des variables pour chaque solution :

 sols , err := p . Query ( `mortal(Who).` )
if err != nil {
	panic ( err )
}
defer sols . Close ()

// Iterates over solutions.
for sols . Next () {
	// Prepare a struct with fields which name corresponds with a variable in the query.
	var s struct {
		Who string
	}
	if err := sols . Scan ( & s ); err != nil {
		panic ( err )
	}
	fmt . Printf ( "Who = %s n " , s . Who ) // ==> Who = socrates
}

// Check if an error occurred while querying.
if err := sols . Err (); err != nil {
	panic ( err )
}

La langue par défaut

ichiban/prolog adhère à la norme ISO et est livré avec les prédicats ISO ainsi que les prédicats Prologue pour Prolog et DCG.

Voir le Wiki pour les directives et les prédicats intégrés.

Niveau supérieur

1pl est une commande expérimentale de haut niveau permettant de tester le langage par défaut et sa conformité à la norme ISO.

Vous pouvez l'installer avec go install :

 go install github.com/ichiban/prolog/cmd/1pl@latest

Ensuite, vous pouvez accéder au niveau supérieur avec 1pl :

 $(go env GOPATH)/bin/1pl [<file>...] 

Rallonges

• prédicats : prédicats natifs pour ichiban/prolog.
• kagomelog : un prédicat d'analyse morphologique japonais.

Licence

Distribué sous licence MIT. Voir LICENSE pour plus d’informations.

Contribuer

Voir ARCHITECTURE.md pour les détails de l'architecture.

1. Forkez-le (https://github.com/ichiban/prolog/fork)
2. Créez votre branche de fonctionnalités (git checkout -b feature/fooBar)
3. Validez vos modifications (git commit -am 'Add some fooBar')
4. Push vers la branche (git push origin feature/fooBar)
5. Créer une nouvelle demande de tirage

Remerciements

Nous tenons à remercier les personnes suivantes pour leur contribution à ce projet :

• guregu pour sa contribution au code et aux idées
• Markus Triska pour ses connaissances approfondies et ses idées sur Prolog moderne, comme en témoignent ses commentaires perspicaces sur les problèmes
• Professeur Ulrich Neumerkel pour ses conseils précieux, ses travaux sur les normes ISO, le Prologue pour Prolog et les DCG.

Nous sommes reconnaissants du soutien et des contributions de toutes les personnes impliquées dans ce projet. Arigatou gozaimasu !