% parkplatz.pl : Das Parkplatzproblem in Prolog - R.Richter 2005-10-15
autos(F,A,M) :- A is F - M.
bikes(F,R,M) :- M is 2*F-R/2.
parkplatz(F,R,A,M) :- bikes(F,R,M), autos(F,A,M).