prolog

¿Qué es esto?

ichiban/prolog es un intérprete ISO Prolog integrable en Go .

• Cumple con los estándares:
  • ISO/IEC 13211-1:1995 Tecnología de la información. Lenguajes de programación. Prólogo. Parte 1: Núcleo general.
  • Un prólogo para el prólogo
  • DCG
• Fácil de integrar: API Go tipo database/sql
• Altamente personalizable:
  • Zona de arena
  • Predicados personalizados en Go
  • Términos personalizados (tipos de datos) en Go

Comparación con otras bibliotecas

	prólogo	otón	go-lua
Idioma	Prólogo ISO	Guión ECMA	lua
Paradigma	? Lógica	Orientado a objetos	Orientado a objetos
Ir API	? database/sql -como	original	original
Declarativo	✅
Zona de arena	✅		✅

Empezando

Instalar la última versión

 go get -u github.com/ichiban/prolog

Uso

Crear una instancia de un intérprete

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

O, si desea un intérprete de zona de pruebas sin predicados integrados:

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

Cargar un programa Prolog

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

Similar a database/sql , ¿puedes usar un marcador de posición ? para insertar datos de Go como datos de Prolog.

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

Ejecute el programa 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 )
}

O, si desea consultar los valores de las variables para cada solución:

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

El idioma predeterminado

ichiban/prolog cumple con el estándar ISO y viene con los predicados ISO, así como el Prologue para los predicados Prolog y DCG.

Consulte la Wiki para conocer las directivas y los predicados integrados.

Nivel superior

1pl es un comando experimental de nivel superior para probar el idioma predeterminado y su cumplimiento con el estándar ISO.

Puedes instalarlo con go install :

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

Luego, puedes ingresar al nivel superior con 1pl :

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

Extensiones

• Predicados: Predicados nativos para ichiban/prolog.
• kagomelog: un predicado de análisis morfológico japonés.

Licencia

Distribuido bajo licencia MIT. Consulte LICENSE para obtener más información.

Contribuyendo

Consulte ARCHITECTURE.md para obtener detalles sobre la arquitectura.

1. Bifurcarlo (https://github.com/ichiban/prolog/fork)
2. Crea tu rama de funciones (git checkout -b feature/fooBar)
3. Confirme sus cambios (git commit -am 'Agregar algo de fooBar')
4. Empujar a la rama (función de origen de git push/fooBar)
5. Crear una nueva solicitud de extracción

Expresiones de gratitud

Nos gustaría extender nuestro agradecimiento a las siguientes personas por sus contribuciones a este proyecto:

• Gugugu por contribuir con código e ideas.
• Markus Triska por su profundo conocimiento y perspicacia sobre el Prolog moderno, como lo demuestran sus perspicaces comentarios sobre temas
• Prof. Ulrich Neumerkel por su valiosa orientación, sus trabajos sobre las normas ISO, el Prólogo de Prolog y los DCG.

Agradecemos el apoyo y las contribuciones de todos los involucrados en este proyecto. Arigatou gozaimasu!