У нас по ФЛП (функциональное и логическое программирование) есть лабораторная, в которой надо написать программу, решающую логические задачки. Каждому по две задачки. Всего задачек около ста... Никому не надо?))))
Задачки такого типа (мой вариант):
Первая посложнее:
Корнеев, Докшин, Мареев и Скобелев — жители нашего города. Их профессии — пекарь, врач, инженер и милиционер. Корнеев и Докшин — соседи и всегда на работу ездят вместе. Докшин старше Мареева. Корнеев регулярно обыгрывает Скобелева в пинг-понг. Пекарь на работу всегда ходит пешком. Милиционер не живет рядом с врачом. Инженер и милиционер встречались единственный раз, когда милиционер оштрафовал инженера за нарушение правил уличного движения. Милиционер старше врача и инженера. Определите, кто чем занимается.
Вторая попроще:
Четыре приятеля — А, Б, В, Г живут в разных комнатах общежития. На вопрос, где они живут, трое дали по два ответа, из которых один истинный, другой ложный.
A: “ я живу в первой комнате, Г живет во второй”;
Б: “ я живу в третьей комнате, А — во второй”;
В: “ я живу во второй комнате, Б — в четвертой”.
Кто в какой комнате живет?