prolog

Что это?

ichiban/prolog — это встраиваемый интерпретатор ISO Prolog в Go .

• Соответствие стандартам:
  • ISO/IEC 13211-1:1995 Информационные технологии. Языки программирования. Пролог. Часть 1. Общее ядро.
  • Пролог для Пролога
  • DCG
• Легко интегрировать: Go API, подобный database/sql
• Широкие возможности настройки:
  • Песочница
  • Пользовательские предикаты в Go
  • Пользовательские термины (типы данных) в Go

Сравнение с другими библиотеками

	пролог	отто	го-луа
Язык	ISO-пролог	ECMA-скрипт	Луа
Парадигма	? Логика	Объектно-ориентированный	Объектно-ориентированный
Перейти API	? database/sql -подобно	оригинальный	оригинальный
Декларативный	✅
Песочница	✅		✅

Начиная

Установить последнюю версию

 go get -u github.com/ichiban/prolog

Использование

Создать экземпляр интерпретатора

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

Или, если вам нужен интерпретатор песочницы без каких-либо встроенных предикатов:

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

Загрузите программу на Прологе

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

Подобно database/sql , вы можете использовать заполнитель ? чтобы вставить данные Go как данные Prolog.

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

Запустите программу Пролог

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

Или, если вы хотите запросить значения переменных для каждого решения:

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

Язык по умолчанию

ichiban/prolog соответствует стандарту ISO и поставляется с предикатами ISO, а также предикатами Prologue для Prolog и DCG.

См. Wiki для получения информации о директивах и встроенных предикатах.

Верхний уровень

1pl — это экспериментальная команда верхнего уровня для тестирования языка по умолчанию и его соответствия стандарту ISO.

Вы можете установить его с помощью go install :

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

Затем вы можете перейти на верхний уровень с помощью 1pl :

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

Расширения

• предикаты: собственные предикаты для ichiban/prolog.
• кагомелог: японское морфологическое анализирующее предикат.

Лицензия

Распространяется по лицензии MIT. См. LICENSE для получения дополнительной информации.

Содействие

Подробности об архитектуре см. на ARCHITECTURE.md .

1. Форкните его (https://github.com/ichiban/prolog/fork)
2. Создайте свою ветку функций (git checkout -b Feature/fooBar)
3. Зафиксируйте изменения (git commit -am 'Добавить немного fooBar')
4. Нажмите на ветку (git push origin Feature/fooBar)
5. Создайте новый запрос на включение

Благодарности

Мы хотели бы выразить нашу благодарность следующим людям за их вклад в этот проект:

• guregu за предоставленный код и идеи
• Маркусу Триске за глубокие знания и понимание современного Пролога, о чем свидетельствуют его проницательные комментарии по вопросам.
• Профессору Ульриху Ноймеркелю за ценные рекомендации, его работы по стандартам ISO, Прологу для Пролога и DCG.

Мы благодарны за поддержку и вклад всем, кто участвует в этом проекте. Аригато годзаимасу!