Size: a a a

2020 July 05

p

polunin.ai in rust_offtopic
Бесконечная компиляция🤔
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
Только я не знаю что такое логическое программирование. Прикольно звучит.
 male(james1).
 male(charles1).
 male(charles2).
 male(james2).
 male(george1).

 female(catherine).
 female(elizabeth).
 female(sophia).

 parent(charles1, james1).
 parent(elizabeth, james1).
 parent(charles2, charles1).
 parent(catherine, charles1).
 parent(james2, charles1).
 parent(sophia, elizabeth).
 parent(george1, sophia).



> q parent(charles1, george1)
 false
> q parent(charles1,X)
 james1
источник

AZ

Alex Zhukovsky in rust_offtopic
вообще пролог простой очень
источник

AZ

Alex Zhukovsky in rust_offtopic
можно по фану за недельку почитать
источник

AZ

Alex Zhukovsky in rust_offtopic
и понять что это такое
источник

H

Hirrolot in rust_offtopic
Пролог это язык будущего
источник

p

polunin.ai in rust_offtopic
А ну тогда впилю пролог сбоку скажу что у меня логическое программирование есть
источник

RB

Rustem B. in rust_offtopic
Alex Zhukovsky
можно по фану за недельку почитать
Я уже весь ман по гнупрологу проглотил
источник

RB

Rustem B. in rust_offtopic
Сижу и пишу
источник

RB

Rustem B. in rust_offtopic
Программу
источник

AZ

Alex Zhukovsky in rust_offtopic
анекдот в тему:

- Сколько нужно пролог-программистов чтобы вкрутить лампочку?
- ДА
источник

AZ

Alex Zhukovsky in rust_offtopic
Hirrolot
Пролог это язык будущего
у пролога некоторые вещи через одно место надо делать)
источник

AZ

Alex Zhukovsky in rust_offtopic
вместо "верни мне квадрат числа" ты говоришь "найди мне число такое, что некоторое другое число умноженное на себя будет таким же"
источник

AZ

Alex Zhukovsky in rust_offtopic
то есть обратно, X*X воспринимается как дано а Х это то что надо найти
источник

AZ

Alex Zhukovsky in rust_offtopic
хотя на самом деле Х это аргумент который мы знаем
источник

AZ

Alex Zhukovsky in rust_offtopic
красно-зеленые отсечения эти все
источник

AZ

Alex Zhukovsky in rust_offtopic
в общем, забавно
источник

AZ

Alex Zhukovsky in rust_offtopic
первый язык где я узнал что рекурсию можно легко выбить и как переписывать простые вещи в хвостовую
источник

RB

Rustem B. in rust_offtopic
Я пролог использую не по назначению
Я пишу на нем обычные программы
Как на Си или Раст
(И компилирую)
источник

λР

λетучая Рыба... in rust_offtopic
polunin.ai
Не, чую все будет проще. Не пройду модерацию.
Доктор, а Вам 18 лет есть? Эти опусы почему-то очень сильно напоминают подростковый бунт — "модерацию — не пройду, математика — сложная, власть — ерунда". Чтобы не пройти модерацию на Хабре, надо быть или несмышлёным, или неадекватным (это очень трудно)
источник