draw asemantic network based on prolog statements : machine$($x$)$ :$-$ computer $($x$).$ computer$($x$)$:$-$laptop$($x$).$ laptop$($x$)$:$-$p$($x$),$ has$($x$,$webcam$),$ has $($x$,$wifi$)$