گودل (زبان برنامه‌نویسی)

گودل شامل ویژگی‌های زیر می‌باشد:

1. گودل از سیستم ماژولار استفاده می‌کند.
2. دقت دلخواه در اعداد صحیح، گویا و ممیز شناور دارد.
3. این زبان می‌تواند محدودیت‌ها بر روی دامنه متناهی اعداد طبیعی و خطی را حل کند.
4. در ضمن می‌تواند از عملیات روی مجموعه‌های متناهی پشتیبانی کند.
5. قوائد محاسبات منعطف و عملیات هرس باعث عمومیت دادن ان به زبانهای برنامه‌نویسی همزمان منطقی می‌شود.

گودل یک فرامنطق است که امکانات پشتیبانی از فرابرنامه‌نویسی را فراهم می‌کند تا بتوان کارهای تجزیه و تحلیل، تحول، تدوین، تأیید و اشکال زدایی را در میان کارهای دیگر را انجام دهد.

مدل گودل زیر، مقسوم علیه مشترک دو عدد را بدست می‌آورد. این کد برای نشان دادن کد گودل است نه این که به صورت بهینه مقسوم علیه مشترک را بدست آورد. خروجی CommonDivisor می‌گوید که اگر i و j صفر نباشد d مقسوم علیه آن دو است اگر مقدارش بین 1 و مینیمم مقدار i و j و i/j و j/i باشد. خروجی Gcd می‌گوید که d بزرگترین مقسوم علیه مشترک i و j است در صورتی که مقصوم علیه i و j باشد و eای وجود نداشته باشد که مقسوم علیه مشترک i و j باشد و از d بزرگتر باشد.

MODULE GCD.
IMPORT Integers.
PREDICATE Gcd: Integer * Integer * Integer.
Gcd(i,j,d) <-
 CommonDivisor(i,j,d) &
 ~ SOME [e] (CommonDivisor(i,j,e) & e> d).
PREDICATE CommonDivisor: Integer * Integer * Integer.
CommonDivisor(i,j,d) <-
 IF (i = 0 \/ j = ۰)
 THEN
 d = Max(Abs(i),Abs(j))
 ELSE
 ۱ =<d =<Min(Abs(i),Abs(j)) &
 i Mod d = ۰ &
 j Mod d = ۰.