Це команда gringo, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
gringo - заземлювач для неосновних логічних програм
СИНТАКСИС
gringo [ВАРІАНТ]... [Фото]...
ОПИС
На цій сторінці посібника коротко описано gringo команда
gringo є заземлювачем для програм набору відповідей без наземного використання. Вирішувачі поточного набору відповідей працюють
на програмах без змінних. Отже, заземлювач необхідний, якщо ввести програму з
змінних першого порядку, обчислює еквівалентну наземну (без змінних) програму.
ВАРІАНТИ
Ці програми дотримуються звичайного синтаксису командного рядка GNU з довгими параметрами, які починаються з
два тире (`-'). Нижче наведено короткий опис варіантів. Для повного опису,
див. довідник potasco.
-h, --допомога
Показати підсумок варіантів.
-v, -- версія
Показати версію програми.
Використовуйте gringo онлайн, використовуючи служби onworks.net