This topic is a continuation of a post l wrote earlier on IPv4 address. I just want to extend this discussion by adding classful addressing. In classful addressing, the address space which we saw to be 2 ^ 32 in the earlier post is divided into five classes. These are classes A,B,C,D,E. Pretty easy right, […]
I’ll like to take some time off this Sunday evening and share some knowledge l’ve gathered in Networking with the rest of you wonderful and awesome people all over the world. The topic that comes to my head is IPv4 addressing. IP version 4 address is a 32 bit long addressing scheme used to universally […]
% Implement the predicate can_register(Student, Course), % where can_register(S,C) is true iff S is a student who has % passed or waived all of the prerequisites of course C. % For example, the prereqs of csc529 are csc330 and csc350. % Suppose nancy passed csc330 and csc350: she can register for 529. % Suppose dilbert […]
% The language: (a**2n)(b**m), for n>=1, m>=0. For example, % aa, aaaa, aab, aaaaaaaabbbbbbbbbbbbbbbbbbbbbbbbb. % Define the language (a**2n)(b**m) with the predicates % final, trans, and/or silent final(s2). final(s3). trans(start,a,s1). trans(s1,a,s2). trans(s2,a,s1). trans(s2,b,s3). trans(s3,b,s2). accepts(State,[]) :- final(State). accepts(State,[X|Rest]) :- trans(State,X,State1), accepts(State1,Rest). […]