A parodic programming language for propositional calculus with fully typed lex and yacc.
Developed by:E. Batuhan Kaynak(https://github.com/ebatuhankaynak), Deniz Sipahioğlu(https://github.com/dsipahioglu), Alper Şahıstan
The example program is given below:
$tanumlarimizu ha buraya yazayruz$
tanum_basladu
Mutlu_miyum(mutliluk)
{
dondür mutliluk | dogridur;
}
Tarlaya_gidecek_miyum(hava_güneslidur, fadime_evde_yokidur){
gidecegum = hava_güneslidur & fadime_evde_yokidur;
eger(gidecegum)
{
bastur gidecegum;
}
degülse
{
gidecegum = gidecegum | dogridur;
}
dondür gidecegum;
}
tanum_bittu
$Ha burada çalistirilacak kodu yazayruz (main)$
tarattur hava_güneslidur;
tarattur fadime_evde_yokidur;
gidecegum = Tarlaya_gidecek_miyum(hava_güneslidur, fadime_evde_yokidur);
LAZ_DOGDUM_LAZ_KALACAGUM = dogridur;
mutlu_bir_lazum = dogridur;
bastur LAZ_DOGDUM_LAZ_KALACAGUM <-> gidecegum -> mutlu_bir_lazum;
haftanun_günleru = dizü[7];
fadime_benu_oldurecek = dogridur;
turla(mutlu_bir_lazum)
{
haftanun_günleru[6] = dogridur;
turla(fadime_benu_oldurecek)
{
yarduma_ihtiyacum_var = fadime_benu_oldurecek;
bastur yarduma_ihtiyacum_var;
mutlu_bir_lazum = ~mutlu_bir_lazum;
};
};